Semantic structures for one-stage and iterated belief revision
نویسنده
چکیده
Semantic structures for belief revision are proposed. We start with one-stage revision structures that generalize the notion of choice function from rational choice theory. A correspondence between these one-stage structures and AGM belief revision functions is established. We then add branching time and consider more general structures that accommodate iterated revision. AGM temporal revision structures are defined and a syntactic axiomatization is provided.
منابع مشابه
A Semantic Approach for Iterated Revision in Possibilistic Logic
In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for revision is too strong to define a practical one-step revision operator and some of them should be weakened. We then present a semantic approach for iterated revision in possibilistic logic using a one-step revision oper...
متن کاملBelief Change in Reasoning Agents
The capability of changing beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. Belief change therefore is one of the central research fields in Artificial Intelligence (AI) for over two decades. In the AI literature, two different kinds of belief change operations have been intensively investigated: belief update, which deal with situations where th...
متن کاملBelief Change in Branching Time: AGM-consistency and Iterated Revision
We study belief change in the branching-time structures introduced in [4]. First, we identify a property of branching-time frames that is equivalent to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with an arbitrary state-instant pair and an arbitrary model based on that frame can be extended to a full belief revision ...
متن کاملA Conditional Logic for Iterated Belief Revision
In this paper we propose a conditional logic IBC to represent iterated belief revision. We define an iterated belief revision system by strengthening the postulates proposed by Darwiche and Pearl [3]. First, following the line of Darwiche and Pearl, we modify AGM postulates to make belief revision a function of epistemic states rather than of belief sets. Then we propose a set of postulates for...
متن کاملParallel belief revision: Revising by sets of formulas
The area of belief revision studies how a rational agent may incorporate new information about a domain into its belief corpus. An agent is characterized by a belief stateK, and receives a new item of information α which is to be included among its set of beliefs. Revision then is a function from a belief state and a formula to a new belief state. We propose here a more general framework for be...
متن کامل